21. Coherent systems
پدیدآورنده : / Karl Schlechta
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Nonmonotonic reasoning,Algebraic logic,Semantics- Mathematical models,Modality (Logic)
رده :
Q339
.
2
.
S35
2004
22. Coherent systems
پدیدآورنده : / Karl Schlechta
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Nonmonotonic reasoning,Algebraic logic,Semantics, Mathematical models,Modality (Logic)
رده :
Q339
.
2
.
S35
2004
23. Conditionals and Modularity in General Logics
پدیدآورنده : / Dov M. Gabbay, Karl Schlechta
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Conditionals (Logic),Modality (Logic),استلزام (منطق),منطق موجهات
رده :
BC199
.
C56
,
G32
2011
24. Content and modality
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Stalnaker, Robert. ; Modality (Logic) ; Logic. ; Language and languages ; Philosophy. ;
25. Deontic modality
پدیدآورنده : edited by Nate Charlow and Matthew Chrisman
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Philosophy ، Language and languages,، Deontic logic,، Modality )Logic(
رده :
P
107
.
D46
26. Directions in relevant logic
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Modality )Logic(-- Congresses,، Relevance )Philosophy(-- Congresses
رده :
BC
199
.
M6
.
D57
1989
27. Directions in relevant logic
پدیدآورنده : edited by Jean Norman and Richard Sylvan
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Modality )Logic(,Congresses ، Relevance )Philosophy(
رده :
BC
199
.
M6D57
1989
28. Displaying modal logic
پدیدآورنده : Heinrich Wansing
کتابخانه: Library of Faculty Literature of University of Tehran (Tehran)
موضوع : Modality (Logic)
29. Epistemic modality /
پدیدآورنده : edited by Andy Egan and Brian Weatherson
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Knowledge, Theory of,Modality (Logic)
رده :
BD161
.
E65
2011
30. Essays in the metaphysics of modality
پدیدآورنده : Plantinga, Alvin.
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Modality )Logic(,، Metaphysics
رده :
B945
.
P553
M48
2003
31. First steps in modal logic /
پدیدآورنده : Sally Popkorn
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Modality (Logic)
رده :
QA9
.
46
.
P67
1994
32. Forma y modalidad :
پدیدآورنده : Mario Gómez Torrente.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Modality (Logic),Logic, Symbolic and mathematical.,Modality (Logic)
رده :
BC135
.
G65
2000
33. Gentzen calculi for modal propositional logi
پدیدآورنده : / Francesca Poggiolesi
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Modality (Logic),Electronic books., local
34. Handbook of modal logic
پدیدآورنده : edited by Patrick Blackburn, Johan van Benthem, Frank Wolter
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Handbooks, manuals, etc ، Modality )Logic(
رده :
BC
199
.
M6H36
2007
35. Handbook of modal logic /
پدیدآورنده : edited by Patrick Blackburn, Johan van Benthem, Frank Wolter
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Modality (Logic), Handbooks, manuals, etc
رده :
BC199
.
M6
H36
2007
36. Intensional and higher-order modal logic: with applications to Montague semantics
پدیدآورنده : Gallin, Daniel
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Intension )Logic(,، Modality )Logic(
رده :
BC
199
.
I5
G3
37. Intensional and higher-order modal logic : with applications to Montague semantics
پدیدآورنده : Gallin, Daniel.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Modality )Logic(,، Logic, Symbolic and mathematical
رده :
BC
199
.
M6
.
G35
1975
38. Intensional mathematics
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Addresses, essays, lectures ، Modality )Logic(,Addresses, essays, lectures ، Constructive mathematics,Addresses, essays, lectures ، Intuitionistic mathematics
رده :
QA
9
.
46
.
I57
1985
39. Intensional mathematics
پدیدآورنده : SHAPIRO,STEWART
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : MODALITY )LOGIC(-ADDRESSES,ESSAYS, , CONSTRUCTIVE MATHEMATICS-ADDRESSES, , INTUITIONISTIC MATHEMATICS-
رده :
QA
9
.
46
.
I57
40. Intensional mathematics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Modality (Logic) ;
